#include <stdio.h>
void out12(void)
{
    printf("444\n");
}